基于无干扰理论的构件系统安全

研究一种构件系统中多安全等级的信息流无干扰问题。在现有接口结构的基础上,使用安全进程代数描述构件系统动态行为语法和语义来构建接口自动化计算模型。研究基于互模拟的无干扰属性,构造适用于构件系统的接口安全无干扰性质SIA_NI,并证明系统在添加、删除、组合算子等复杂操作下依然满足此安全性。最后举例分析了此无干扰属性在构件化系统中的具体应用,并使用CoPS工具自动检查多安全等级构件系统的安全性,验证接口安全无干扰性质的正确性。     

基于出行者潜在类别的公交出行行为研究

不同类型的公交使用者对公交的评价、使用公交出行的意愿不相同,如何对公交使用者进行有效划分,分析各类因素对划分的影响,并研究不同类型出行者使用公交意愿等受到各类影响因素的异同是值得关注的问题.文中引入潜在回归模型,基于公交使用者对公交满意度、使用意愿等几类因素,对其进行类别划分,并根据类别划分,分别分析每一类公交出行者总体满意度、使用公交意愿受到的影响因素的异同.研究结果表明,公交使用可划分为机会乘客、忠诚乘客两类群体,且小汽车拥有情况、收入水平会影响出行者的类别划分.拥有小汽车时,出行者更可能成为机会乘客,随着收入的增加,出行者成为机会乘客的概率增加.对比分析影响出行者总体满意度的因素,发现速度评价、准点性评价、等车时间评价、票价评价等因素对机会乘客总体满意度的影响大于对忠诚乘客总体满意度的影响.分析成功推荐他人使用公交的情况,发现机会乘客总体满意度对推荐结果的影响极为显著,随着总体满意度的增加,推荐的概率大致呈线性增长趋势.研究使用公交频率影响因素,发现拥有小汽车会降低机会乘客和忠诚乘客使用公交频率,而增加总体满意度会增加机会乘客使用公交频率.     

谈校园网在高校体育教学中的运用

随着网络技术的发展,现代信息技术正在向高校教学、科研的每一个环节渗透,并将逐步改变传统的教学模式。当前,对网络教学的研究已成为教育实践和研究的热点,在借鉴前辈们丰硕的研究成果的基础上,该文结合网络多媒体教学的经验,侧重研究了将网络运用到体育教学实践中的可行性及实施办法,旨在为新形势下高校体育教育的发展提供有价值的参考。     

一种无需操作系统的硬件级可信度量方法

针对云计算等新型计算环境下的可信度量问题,提出了一种无需操作系统的硬件级全盘任意文件可信度量方法.通过在U-key中放置可信度量代理(TMA),利用TMA自主解析文件系统获取磁盘中任意文件的扇区存储地址,从而能够在不存在Grub、未启动操作系统以及不需要其他任何硬软件支持的情况下,实现对全盘任意文件的可信度量.考虑到TMA的安全性,利用B方法实现了对TMA的形式化开发.与已有的工作相比,所提方法不仅能够应用在云计算等新型计算环境中,而且能够应用于不存在可信平台模块(TPM)等安全增强芯片的普通计算机上.实验证明了本方法是有效的.     

概率统计的教学体会

本文主要探讨在概率统计教学中要联系实际生活,激发学生的学习热情;讲解概念时要注重启发式教学,利用生活语言帮助学生掌握概念;充分利用类比法,引导学生自主引出新概念,适当介绍数学史,提高学生数学修养。     

古文英译的文化翻译视角——以《原毁》英译为例

语言是文化的载体,语言间的翻译可以看做是文化的交流与传播。古文的翻译,由于其原文文本中文化成分的博大精深,及其译入语阅读对象的相关背景知识的缺失,如果忽略或者未对其文化成分给予足够重视,在其外译过程中往往造成大量文化底蕴的流失,造成翻译的失败,文化交流的失败。因此,翻译,特别是我国古文的外译,应当充分分析和挖掘其文化背景,充分考虑译入语读者的相关背景知识,结合汉语和译入语的结构等特点,通过替代、省略、形合、意合等方法将其转移至译入语中。     

电力负荷预测的核偏最小二乘回归模型

利用高斯核函数将低维空间的非线性回归转化为高维空间的线性回归,建立了基于核偏最小二乘回归的电力负荷预测模型,克服了非线性因素对预测模型的不利影响。应用武汉市的实际数据进行了验证,结果表明,基于核偏最小二乘回归的电力负荷预测与线性偏最小二乘回归相比,具有更好的预测性能。     

类比法在大学物理课堂教学中的应用

本文论述了类比法在大学物理课堂教学中的重要作用及其应用（主要包括用类比法提出新定律、新思想；用类比法讲授新概念、新定律：类比法在物理复习课中及物理计算题中的应用），指出了类比法的局限性。在大学物理课堂教学中运用类比法，不仅可以加深学生对物理概念、定理及定律的理解和掌握，而且还可以培养学生分析问题和解决问题的能力，对学生认识和掌握科学研究方法也是有益的。     

道路横断面CAD中边坡条件控制的研究

在道路设计中,边坡分多种形式,常见的边坡尺寸都是固定的,在设计时只需在最后一段设置好坡度与地面线相交即可。但也有一些比较复杂的情况,例如边坡上接排水边沟、公路上的分级边坡、多种边坡形式组合的情况等等,对于这种边坡的每个板块都要进行单独的判断和计算。若每个桩号由人工去计算要花费大量时间和人力,利用CAD技术绘制横断面边坡,结合程序来计算则可快速精确的出图。